Non-signaling boxes and quantum logics

Truth Values and Connectives in Some Non-Classical Logics

The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...

quantum models and logics

Auger recombination in HgCdTe quantum wires and quantum boxes

Quantum-wire and quantum-box structures for narrow-gap materials with small effective masses, such as HgCdTe, can readily be fabricated using current lithographic techniques. In this article, we calculate the Auger-recombination carrier lifetimes in HgCdTe quantumwire and quantum-box structures, with band gaps in the 2-5 ,um wavelength range. Quantum confinement is generally believed to increas...

Balls in Boxes and Quantum Gravity

Four dimensional simplicial gravity has been studied by means of Monte Carlo simulations for some time [1], the main outcome of the studies being that the model undergoes a discontinuous phase transition [2] between an elongated and a crumpled phase when one changes the curvature (Newton) coupling. In the crumpled phase there are singular vertices growing extensively with the volume of the syst...

On the non-locality of tripartite non-signaling boxes emerging from wirings

It has been recently shown, that some of the tripartite boxes admitting bilocal decomposition, lead to non-locality under wiring operation applied to two of the subsystems [R. Gallego et al. Physical Review Letters 109, 070401 (2012)]. In the following, we study this phenomenon quantitatively. Basing on the known classes of boxes closed under wirings, we introduce multipartite monotones which a...